81. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
82. An introduction to mathematical logic
پدیدآورنده: ROBINSON,GERSON B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
R72
83. An introduction to mathematical logic
پدیدآورنده: Richard E. Hodel,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA
.
H547
9
1995
84. An introduction to mathematical logic
پدیدآورنده: [by] Gerson B. Robison
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
R72
85. An introduction to mathematical logic
پدیدآورنده: [by] Gerson B. Robison
کتابخانه: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (تهران)
موضوع: Logic, Symolic and mathematical
رده :
QA9
.
R72
86. An introduction to mathematical logic
پدیدآورنده: Robison, Gerson B
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
R72
87. An introduction to mathematical logic and type theory :
پدیدآورنده: by Peter B. Andrews.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
88. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
89. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
90. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
91. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
92. An introduction to mathematical logic & type theory:to truth
پدیدآورنده: ANDREWS,PETER BRUCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
93. An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: Boole, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
1854a
94. An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: / George Boole
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
رده :
BC135
.
B61
95. An investigation of the laws of thought; on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: Boole
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, symbolic and mathematical,Thought and thinking,Probabilities
رده :
BC
135
.
B6
96. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: Boole, George
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
1958
97. An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
پدیدآورنده: Boole, George, 5181-4681
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
98. Aspects of mathematical logic
پدیدآورنده: / edited by E. Casari
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
رده :
QA9
.
A1C56
2010
99. Bibliography of mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic,Symbolic and mathematical-Bibliography
رده :
016
.
5113
R
100. CAMBRIDGE SUMMER SCHOOL IN MATHEMATICAL LOGIC
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
QA
,
3
,
L28
